The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·4h
📝Shell Parsing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Rhadamanthys Loader Deobfuscation
cyber.wtf·3d
🧪CBOR Fuzzing
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📟Terminals
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·13h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·13h
🕸️WebAssembly
Flag this post
Redundancy vs. dependencies: which is worse?
yosefk.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post